{-# OPTIONS -Werror -WnoEmptyRewritePragma #-}

{-# REWRITE #-}
